Data Verification in Integrated RFID Systems

نویسندگان
چکیده

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Multi-Agent Based Formal Verification of Data in RFID Middleware

As the load of traffic increases in RFID middleware, RFID system can no longer manage the RFID tags. Because of the incapability of the RFID system to handle vast amount of RFID tags, there are possibilities that the data cannot be processed efficiently in the RFID middleware. Implementation of agent technology is useful for verification and validation in RFID system architecture because intell...

متن کامل

A Dual Data Processing System Using Sensor Integrated RFID Middleware

Recently sensor technology has drawn greater attention in ubiquitous computing by deploying huge amount of sensor tags in supply chain, harbor logistics, healthcare management etc. Sensor tags are capable to provide the sensing information of the product and item with its identification at the same time. The dual data generated from a sensor tag is RFID data and Sensing data. RFID Readers are u...

متن کامل

Architecture-centered Integrated Verification Architecture-centered Integrated Verification

This chapter presents an architecture-centered verification approach to large scale complex software systems by integrating model checking with runtime verification. A software architecture design provides a high-level abstraction of system topology, functionality, and/or behavior, which provides a basis for system understanding and analysis as well as a foundation for subsequent detailed desig...

متن کامل

Data Quality Issues in Integrated Enterprise Systems

In this paper, we explore the effects of Enterprise Systems, such as SAP, on the quality of organizational data. Our findings are based on a longitudinal study of an ES implementation at multiple sites in one global organization. We organize the results in terms of how the ES implementation changed Intrinsic data quality, Representational data quality, Contextual data quality, and Accessibility...

متن کامل

Software Verification with Integrated Data Type Refinement for Integer Arithmetic

We present an approach to integrating the refinement relation between infinite integer types (used in specification languages) and finite integer types (used in programming languages) into software verification calculi. Since integer types in programming languages have finite ranges, in general they are not a correct data refinement of the mathematical integers usually used in specification lan...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: IEEE Systems Journal

سال: 2019

ISSN: 1932-8184,1937-9234,2373-7816

DOI: 10.1109/jsyst.2018.2865571